least fixed point - definition. What is least fixed point
Diclib.com
قاموس ChatGPT
أدخل كلمة أو عبارة بأي لغة 👆
اللغة:

ترجمة وتحليل الكلمات عن طريق الذكاء الاصطناعي ChatGPT

في هذه الصفحة يمكنك الحصول على تحليل مفصل لكلمة أو عبارة باستخدام أفضل تقنيات الذكاء الاصطناعي المتوفرة اليوم:

  • كيف يتم استخدام الكلمة في اللغة
  • تردد الكلمة
  • ما إذا كانت الكلمة تستخدم في كثير من الأحيان في اللغة المنطوقة أو المكتوبة
  • خيارات الترجمة إلى الروسية أو الإسبانية، على التوالي
  • أمثلة على استخدام الكلمة (عدة عبارات مع الترجمة)
  • أصل الكلمة

%ما هو (من)٪ 1 - تعريف

Greatest fixed point; Least fixpoint; Greatest fixpoint
  • 17}}/2.
  • Partial order on <math>\mathbb{Z}_\bot</math>

least fixed point         
<mathematics> A function f may have many fixed points (x such that f x = x). For example, any value is a fixed point of the identity function, ( x . x). If f is recursive, we can represent it as f = fix F where F is some higher-order function and fix F = F (fix F). The standard denotational semantics of f is then given by the least fixed point of F. This is the least upper bound of the infinite sequence (the ascending Kleene chain) obtained by repeatedly applying F to the totally undefined value, bottom. I.e. fix F = LUB bottom, F bottom, F (F bottom), .... The least fixed point is guaranteed to exist for a continuous function over a cpo. (2005-04-12)
Least fixed point         
In order theory, a branch of mathematics, the least fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set to itself is the fixed point which is less than each other fixed point, according to the order of the poset. A function need not have a least fixed point, but if it does then the least fixed point is unique.
Fixed float         
COMPUTER FORMAT FOR REPRESENTING REAL NUMBERS
Fixed Precision; Fixed point (computing); Fixed point arithmetic; Fixed point numbers; Fixed point number; Fixed-point math; Binary scaling; Fixed precision; Fixed-point number; Fixed float; User:Rahul.deshmukhpatil/Fixed float; Fixed-precision arithmetic; Hardware support for fixed-point arithmetic; Power-of-two scaling; Power-of-2 scaling; Binary-point scaling; Binary-point-only scaling; B notation (fixed point format); B notation (binary scaling); B-notation (fixed point format); B-notation (binary scaling)
In computing, fixed float describes a method of representing real numbers in a way that number and decimal point value is stored at different location or bytes in a memory allocated to variable unlike floating point. In a typical 4 byte (on little endian platform) fixed float number lower(lsb) 2 bytes are used to store the decimal part of the number just like integer value.

ويكيبيديا

Least fixed point

In order theory, a branch of mathematics, the least fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set to itself is the fixed point which is less than each other fixed point, according to the order of the poset. A function need not have a least fixed point, but if it does then the least fixed point is unique.